Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
151	Fusing a Transformation Language with an Open Compiler Karl Trygve Kalleberg 1 Department of Informatics, University of Bergen, P.O. Box 7800, N-5020 BERGEN, Norway Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2007-10-01 14:24:18 Programming language implementation Compiler construction Transformation languages Stratego/XT ASF+SDF Meta Environment Compiler Program transformation Type system Stratego Computing Software engineering Programming language theory
152	P1: MVG/SFI P2: MVG LISP and Symbolic Computation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:00 Compiler construction Procedural programming languages Programming language implementation Functional languages Lisp programming language Compiler Partial evaluation Code generation Lisp Programming language theory Software engineering Computing
153	Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis Arne John Glenstrup December 13, 2002 Abstract This note describes some of the implementation aspects of the termination analysis for partial ev Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:50 Symbol Spectral theory of ordinary differential equations Linear temporal logic
154	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
155	Eﬃcient parameter estimation and implementation of a contour integral-based eigensolver Tetsuya Sakurai†,‡ , Yasunori Futamura† and Hiroto Tadano† † Department of Computer Science, University of Tsukuba ‡ Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2012-11-23 21:59:18 Numerical linear algebra Matrix theory Spectral theory Functional analysis Eigenvalue algorithm Eigenvalues and eigenvectors Spectrum Gaussian quadrature Singular value decomposition Algebra Linear algebra Mathematics
156	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
157	Splitting traits into implementation and interface facets (aka AddInterfaces) c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 30th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-10-03 06:26:28 Object-oriented programming Method Type theory Mixin Trait Constructor Property Mutator method Class Software engineering Computing Computer programming
158	IMPROVING LAND SECTOR GOVERNANCE IN SOUTH AFRICA IMPLEMENTATION OF THE LAND GOVERNANCE ASSESSMENT FRAMEWORK Wendy Ovens www.urbanlandmark.org.za Add to Reading List Source URL: www.urbanlandmark.org.za Language: English - Date: 2013-03-05 09:16:07 Land reform Marxist theory Land-use planning Governance Political science Social philosophy International Assessment of Agricultural Knowledge Science and Technology for Development Human geography Economic history Land management
159	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
160	WHOPR - Fast and Scalable Whole Program Optimizations in GCC Initial Draft 12-DecPreston Briggs Doug Evans Brian Grant Robert Hundt William Maddox Add to Reading List Source URL: gcc.gnu.org Language: English - Date: 2009-01-27 12:15:01 Compiler optimizations Graph theory Static single assignment form GNU Compiler Collection Call graph Compiler Inline expansion Intermediate language Interprocedural optimization Software Programming language implementation Compiler construction

UPDATE